Inductive logic programming - PDFSEARCH.IO - Document Search Engine

Inductive logic programming
Results: 65

#	Item
31	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
32	Uncovering Age-Specific Invasive and DCIS Breast Cancer Rules Using Inductive Logic Programming Houssam Nassif David Page Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-10-11 11:50:11 Ribbon symbolism Breast cancer Mammography Projectional radiography Breast surgery BI-RADS Carcinoma in situ Cancer Breast biopsy Medicine Oncology Cancer screening
33	Distributed Interactive Learning in Multi-Agent Systems Jian Huang and Adrian R. Pearce Department of Computer Science and Software Engineering NICTA Victoria Laboratory The University of Melbourne Victoria 3010, Austral Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-01-04 08:03:51 Reasoning Cybernetics Problem solving Multi-agent systems Artificial intelligence Common knowledge Machine learning Inductive logic programming Agent-based model Science Knowledge Logic
34	CS109A Notes for LectureRecursive Denition of Expressions Expressions with binary operators can be dened as follows. Basis: An operand is an expression. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:57:50 Computing Theoretical computer science Programming idioms Mathematical notation Mathematical proofs Operand Mathematical induction Recursion Inductive reasoning Mathematics Computer programming Mathematical logic
35	Collaborative Inductive Logic Programming for Path Planning Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-01-04 08:03:51 Reasoning Epistemology Statistical inference Inductive reasoning Problem solving Inductive logic programming Logic programming Machine learning Deductive reasoning Science Logic Knowledge
36	Theoretical Computer Science–2 www.elsevier.com/locate/tcs Preface This special volume contains the revised and expanded version of nine of the 28 Add to Reading List Source URL: www-alg.ist.hokudai.ac.jp Language: English - Date: 2014-03-14 14:24:09 Science Knowledge Inductive inference Inductive reasoning Inference Statistical inference Algorithmic learning theory Learnability Logic programming Computational learning theory Theoretical computer science Applied mathematics
37	Inductive learning Learning algorithms like neural networks, decision trees, inductive logic programming, etc. all require a good number of examples to be able to do good predictions. Learning Add to Reading List Source URL: aass.oru.se Language: English - Date: 2005-07-15 11:27:02 Cybernetics Explanation-based learning Chess Games Machine learning Learning
38	A Divide and Conquer Approach to Using Inductive Logic Programming for Learning User Models Heather Maclaren Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2009-01-15 09:59:11 Machine learning Cybernetics Learning Inductive logic programming Cluster analysis Scalability Usability Statistics Data mining Data analysis
39	Towards Generic Inductive Constructions in Systems of Nets Stéphane Gimenez Institute of Computer Science University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Type theory Dependently typed programming Computability theory General topology Net Inductive data type Constructible universe Inductive reasoning Linear logic Logic Mathematical logic Mathematics
40	INTRODUCTION TO INDUCTIVE LOGIC PROGRAMMING Nada Lavrac J. Stefan Institute Ljubljana, Slovenia Add to Reading List Source URL: www-ai.ijs.si Language: English - Date: 2002-10-02 08:14:18

UPDATE